


#include "kernel.h"
#include <kernel/handle/handle.h>
#include <kernel/userid/userid.h>

extern void kernel_init ()
{
	block_init ();
	userid_init ();
	handle_init ();
	error_init ();
}
